#include <stdio.h>
#include <stdlib.h>

int main (int argc, char const* argv[])
{
    int i, j, a[6], sum;

    while (1) {
        for (i = 0; i < 6; i++) {
            scanf("%d", &a[i]);
        }
        if (0 == a[0] &&
            a[0] == a[1] &&
            a[1] == a[2] &&
            a[2] == a[3] &&
            a[3] == a[4] &&
            a[4] == a[5] ) {
            break;
        }

        for (i = 0; i < 5; i++) {
            for (j = i + 1; j < 6; j++) {
                if (a[i] > a[j]) {
                    int t = a[i];
                    a[i] = a[j];
                    a[j] = t;
                }
            }
        }

        sum = 0;
        for (i = 1; i < 5; i++) {
            sum += a[i];
        }

        printf("%g\n", sum / (double)4);
    }

    return 0;
}
